The Myth of Formal Logic
ثبت نشده
چکیده
some inductive inferences are as probable in relation to the premisses as non-sceptics think they are. But the premisses of my proofs were, principally, statements of logical probability; and propositions of this kind, or at least the published systems of propositions of this kind, lie under certain definite objections from philosophers, as well as under a less definite but even more damaging suspicion. So, although my purposes in this book are entirely polemical and critical, and I therefore neither have attempted nor will attempt anything systematic enough to be called a theory of logical probability, the arguments of Part One cannot possibly receive a fair hearing, unless I can show that the objections commonly entertained against the theory of logical probability are mistaken. This, and this alone, is the reason for the existence of Part Two. The theory of logical probability is itself, however, only one form, though certainly the most ambitious form, that nondeductive logic has assumed; and some at least of the objections which have been made to it are equally objections to nondeductive logic in any form. In addition to that, even those objections which are peculiar to the theory of logical probability all stem, I believe, from mistakes about the relation between nondeductive and deductive logic, or from mistakes about deductive logic itself. For these two reasons, while my main object in this Part is to defend the arguments of Chapters V-VII, by defending the theory of logical probability, a considerable proportion of what follows is not about the theory of logical probability specifically, but about non-deductive logic in general; and this in turn required that considerable attention be devoted to deductive logic itself. IX
منابع مشابه
Explaining the Level of Human Thought in the Parallel Civilizations Based on Formal Structure and Visual Imagination Formed in Mythical Narratives
Myth, like any other form of narrative, has an undeniable role in visual imagination based on the foundations of mythical thought. Ernst Cassirer, by recovering the fundamental principles of mythical thought, brings against them to the foundations of contemporary rational thought and defines the fundamental features of mythical thought as compared to modern rational thought. He also believes t...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کامل